Inhalt des Dokuments
Publikationen
| Zitatschlüssel | nestmann20133 |
|---|---|
| Autor | Nestmann, Uwe |
| Seiten | 10 |
| Jahr | 2013 |
| Journal | Formal Verification of Distributed Algorithms |
| Monat | 8 |
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe